Философский энциклопедический словарь - метаязык и язык-объект
Связанные словари
Метаязык и язык-объект
метаязык и язык-объект
— понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром ведется исследование языка-объекта; последний наз. метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на к-ром формулируется нек-рая метатеория. Отсутствие различения между М. и я.-о. приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект; В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. С др. стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |